Data/hora: 18/05/2024 13:16:34

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 10/09/1996
Data da última atualização: | 18/12/2007
Autoria: | HENHAPL, W.; JONES, C.
Título: | ALGOL 60.
Ano de publicação: | 1982
Fonte/Imprenta: | In: BJORNER, D.; JONES, C. B. Formal specification and software development. Englewood Cliffs: Prentice-Hall International, 1982.
Páginas: | p.141-173.
Idioma: | Inglês
Conteúdo: | ALGOL 60 has provided a reference point for many facets of computer science. It has been formally defined a number of times (e.g. [Lauer 68a, Allen 72a, Mosses 74a]). As such, the task of writing a definition of the language provides a convenient test of a definition method. The ALGOL 60 definition in this chapter provides the reader with a first example of a VDM deinition of a real (as opposed to a contrived) problem. The text discusses the models of those language concepts not covered in chapter 4. One of the outcomes of constructing a definition is a list of "reservations" about the object under study: that is, comments on how the same effect could be achieved more simply. The only major problem left in the "Modified Language" ([de Morgan 76a]) is theincomplete type checking. This definition shows that a powerful language can have a concise definition providing the language is well thought out. (This chapter is a revised version of [Henhapl 78a].) Other complete language definitions using VDM ideas are Pascal in chapter 7, PL/1 in [Bekic 74a], Ada in [Bjorner 80f] (see also [Ada 80c]), and CHILL (CCITT 80a].
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (4094-1) - ADD - PL - -- - 005.1 - BJO - 1986.00333 - DIS